منابع مشابه
Definable Groups of Partial Automorphisms
The motivation for this paper is to extend the known model theoretic treatment of differential Galois theory to the case of linear difference equations (where the derivative is replaced by an automorphism.) The model theoretic difficulties in this case arise from the fact that the corresponding theory ACFA does not eliminate quantifiers. We therefore study groups of restricted automorphisms, pr...
متن کاملResearch Announcements Definable Degrees and Automorphisms
The basic notion of relative computability, i.e. of one function a: N —> N being computable from another 0, defines, in the obvious way, first an equivalence relation a = jS on functions and then a partial ordering <, called Turing reducibility, on the equivalence classes, called Turing degrees. The analysis of the structure V of these degrees has been a central topic in recursion theory beginn...
متن کاملThe definable multiplicity property and generic automorphisms
Let T be a strongly minimal theory with quantifier elimination. We show that the class of existentially closed models of T ∪ {“σ is an automorphism”} is an elementary class if and only if T has the definable multiplicity property, as long as T is a finite cover of a strongly minimal theory which does have the definable multiplicity property. We obtain cleaner results working with several automo...
متن کاملModal Logics Definable by Universal Three-Variable Formulas
We consider the satisfiability problem for modal logic over classes of structures definable by universal first-order formulas with three variables. We exhibit a simple formula for which the problem is undecidable. This improves an earlier result in which nine variables were used. We also show that for classes defined by three-variable, universal Horn formulas the problem is decidable. This subs...
متن کاملDeformations and Inversion Formulas for Formal Automorphisms in Noncommutative Variables
Let z = (z1, z2, · · · , zn) be noncommutative free variables and t a formal parameter which commutes with z. Let k be a unital commutative ring of any characteristic and Ft(z) = z−Ht(z) with Ht(z) ∈ k[[t]]〈〈z〉〉 ×n and o(Ht(z)) ≥ 2. Note that Ft(z) can be viewed as a deformation of the formal map F (z) := z−Ht=1(z) when it makes sense. The inverse map Gt(z) of Ft(z) can always be written as Gt(...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Pacific Journal of Mathematics
سال: 1973
ISSN: 0030-8730,0030-8730
DOI: 10.2140/pjm.1973.44.107